Chu space - PDFSEARCH.IO - Document Search Engine

Chu space
Results: 37

#	Item
11	Chu Spaces: Automata with quantum aspects Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:35:27 Chu space Quantum logic Quantum field theory Boolean algebra John von Neumann Logic Uncertainty principle Matrix mechanics Introduction to quantum mechanics Physics Quantum mechanics Mathematics
12	Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categori Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:13 Functors Concrete category Morphism Category Universal property Chu space Full and faithful functors Natural transformation Epimorphism Category theory Abstract algebra Mathematics
13	Chu Spaces and their Interpretation as Concurrent Objects Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:05:55 Linear algebra Algebraic structures Mathematical structures Functions and mappings Chu space Matrix Vector space Duality Boolean algebra Algebra Mathematics Abstract algebra
14	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
15	Chu Spaces from the Representational Viewpoint Vaughan Pratt Department of Computer Science, Stanford University, Stanford, CA[removed]Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 14:02:29 Calculus Functions and mappings Model theory Chu space Topology Adjoint functors Continuous function Sheaf Functor Mathematics Mathematical analysis Category theory
16	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra
17	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
18	Chu spaces: Complementarity and Uncertainty in Rational Mechanics Vaughan Pratt∗ Dept. of Computer Science Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 12:17:27 Algebraic structures Order theory Topology Lattice theory Abstract algebra Chu space Boolean algebra Finite topological space Filter Mathematics Algebra Structure
19	To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited VAUGHAN PRATT Department of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:16 Order theory Structure Abstraction Lattice theory Chu space Lattice Distributive lattice Distributivity Finite-state machine Mathematics Automata theory Models of computation
20	Notes on the Chu construction and Recursion Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:03 Functor Adjoint functors Universal property Sheaf Coproduct Function Initial and terminal objects Limit Chu space Abstract algebra Mathematics Category theory

UPDATE